翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

first uncountable ordinal : ウィキペディア英語版
first uncountable ordinal
In mathematics, the first uncountable ordinal, traditionally denoted by ω1 or sometimes by Ω, is the smallest ordinal number that, considered as a set, is uncountable. It is the supremum of all countable ordinals. The elements of ω1 are the countable ordinals, of which there are uncountably many.
Like any ordinal number (in von Neumann's approach), ω1 is a well-ordered set, with set membership ("∈") serving as the order relation. ω1 is a limit ordinal, i.e. there is no ordinal α with α + 1 = ω1.
The cardinality of the set ω1 is the first uncountable cardinal number, ℵ1 (aleph-one). The ordinal ω1 is thus the initial ordinal of ℵ1.
Indeed, in most constructions ω1 and ℵ1 are equal as sets. To generalize: if α is an arbitrary ordinal we define ωα as the initial ordinal of the cardinal ℵα.
The existence of ω1 can be proven without the axiom of choice. (See Hartogs number.)
== Topological properties ==
Any ordinal number can be turned into a topological space by using the order topology. When viewed as a topological space, ω1 is often written as [0,ω1) to emphasize that it is the space consisting of all ordinals smaller than ω1.
Every increasing ω-sequence of elements of [0,ω1) converges to a limit in [0,ω1). The reason is that the union (=supremum) of every countable set of countable ordinals is another countable ordinal.
The topological space [0,ω1) is sequentially compact but not compact. As a consequence, it is not metrizable. It is however countably compact and thus not Lindelöf. In terms of axioms of countability, [0,ω1) is first countable but not separable nor second countable.
The space [0, ω1] = ω1 + 1 is compact and not first countable. ω1 is used to define the long line and the Tychonoff plank, two important counterexamples in topology.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「first uncountable ordinal」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.